This is the artifact for the paper: Precise Static Modeling of Ethereum "Memory", Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, and Yannis Smaragdakis. In Proceedings of the ACM in Programming Languages (OOPSLA) 2020 For more details, see file README.md
Artifact for ESEC/FSE paper entitled "23 Shades of Self-Admitted Technical Debt: An Empirical Study ...
A research artifact associated with the paper "Learning Probabilistic Models for Static Analysis Ala...
A research artifact associated with the paper "Learning Probabilistic Models for Static Analysis Ala...
This is the artifact for the paper: Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Mod...
This artifact allows for reproducing the results of Section 6 of the paper Static Analysis of Memory...
This is the artifact accompanying the OOPSLA 2021 paper "Rich Specifications for Ethereum Smart Cont...
Artifact for the paper titled "Lasagne: A Static Binary Translator for Weak Memory Model Architectur...
This is the ICSE 2018 VM artifact archived for the paper cited below. Find more information at https...
This artifact is concerned with Section 6 (Scalability) of the Paper "PhASAR: An Inter-Procedural St...
This is the artifact accompanying our study of hardware-aware static optimization of hyperdimensiona...
Artifact for the ISSTA 2023 paper "GPUHarbor: Testing GPU Memory Consistency At Large (Experience Pa...
This artifact includes a verification tool to automatically prove the correctness of EVM (Ethereum V...
This artifact includes a verification tool to automatically prove the correctness of EVM (Ethereum V...
This is the artifact submitted alongside our OOPSLA'22 paper "Language-Parametric Static Semantic Co...
Artifact for ESEC/FSE paper entitled "23 Shades of Self-Admitted Technical Debt: An Empirical Study ...
Artifact for ESEC/FSE paper entitled "23 Shades of Self-Admitted Technical Debt: An Empirical Study ...
A research artifact associated with the paper "Learning Probabilistic Models for Static Analysis Ala...
A research artifact associated with the paper "Learning Probabilistic Models for Static Analysis Ala...
This is the artifact for the paper: Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Mod...
This artifact allows for reproducing the results of Section 6 of the paper Static Analysis of Memory...
This is the artifact accompanying the OOPSLA 2021 paper "Rich Specifications for Ethereum Smart Cont...
Artifact for the paper titled "Lasagne: A Static Binary Translator for Weak Memory Model Architectur...
This is the ICSE 2018 VM artifact archived for the paper cited below. Find more information at https...
This artifact is concerned with Section 6 (Scalability) of the Paper "PhASAR: An Inter-Procedural St...
This is the artifact accompanying our study of hardware-aware static optimization of hyperdimensiona...
Artifact for the ISSTA 2023 paper "GPUHarbor: Testing GPU Memory Consistency At Large (Experience Pa...
This artifact includes a verification tool to automatically prove the correctness of EVM (Ethereum V...
This artifact includes a verification tool to automatically prove the correctness of EVM (Ethereum V...
This is the artifact submitted alongside our OOPSLA'22 paper "Language-Parametric Static Semantic Co...
Artifact for ESEC/FSE paper entitled "23 Shades of Self-Admitted Technical Debt: An Empirical Study ...
Artifact for ESEC/FSE paper entitled "23 Shades of Self-Admitted Technical Debt: An Empirical Study ...
A research artifact associated with the paper "Learning Probabilistic Models for Static Analysis Ala...
A research artifact associated with the paper "Learning Probabilistic Models for Static Analysis Ala...
DOI
Add to ORKG